" Susanne Graf" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures (Lecture Notes in Computer Science)

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

9.52 Mb

#2

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-27, 2007, Revised Lectures

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

7.96 Mb

#3

Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures ... / Programming and Software Engineering)

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

Категория: Компьютеры

3.81 Mb

#4

Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures

frank s. de (editor) ; bonsangue, marcello (editor) ; graf, susanne (editor) boer

Категория: Компьютеры

3.87 Mb

#5

Fachbereichsarbeit - Die Götter der Kelten

Категория: fiction

2.96 Mb

#6

Formal Methods for Components and Objects, 4 conf., FMCO 2005

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

Категория: Cs_Computer science, CsLn_Lecture notes

3.85 Mb

#7

Tools and Algorithms for the Construction and Analysis of Systems, 6 conf., TACAS 2000

Susanne Graf, Michael Schwartzbach

Категория: Cs_Computer science, CsLn_Lecture notes

5.36 Mb

#8

Formal Methods for Components and Objects, 2 conf., FMCO 2003

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf

Категория: CsLn_

7.29 Mb

#9

Formal Methods for Components and Objects, 5 conf., FMCO 2006

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

Категория: CsLn_

3.18 Mb

#10

Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures

Frank S.de Boer, Marcello Bonsangue, Susanne Graf, Willem-Paul de Roever

4.59 Mb

#11

Model Checking Software

Susanne Graf, Laurent Mounier

5.53 Mb

#12

Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings

Susanne Graf, Wenhui Zhang

7.95 Mb

#13

Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

3.47 Mb